Relation algebras and their application in qualitative spatial reasoning
نویسنده
چکیده
منابع مشابه
Contact Relation Algebras
Contact relation algebras (CRAs), introduced in Düntsch et al. (1999), arise from the study of “part–of” and “contact” relations rooted in mereology and have applications, for example, in qualitative spatial reasoning. We give an overview of the origins of CRAs and numerous examples.
متن کاملA Proof System for Contact Relation Algebras
Contact relations have been studied in the context of qualitative geometry and physics since the early 1920s, and have recently received attention in qualitative spatial reasoning. In this paper, we present a sound and complete proof system in the style of Rasiowa & Sikorski (1963) for relation algebras generated by a contact relation.
متن کاملتحلیل فضایی در مطالعات جغرافیایی
Spatial analysis as the main approach of geography was reviewed and searched through its historical development. The results of this exploratory research showed that this approach was born after the Second World War due to the overall interest of geographers to develop universal theories and laws. The advocators of this field believed that the old regional geography was not able to develop ...
متن کاملRCC11: A Finer Topological Representation for the Alignment of Regions in Sketch Maps
During the last two decades, dozens of qualitative representations have been proposed. These representations are motivated by a wide variety of applications of spatial data processing such as Geographical Information System (GIS), robotic navigation, and high level vision. For topological reasoning, the Region Connected Calculus (RCC) is perhaps the best-known formalism. The two algebras, RCC5 ...
متن کاملRelations Algebras in Qualitative Spatial Reasoning
The formalization of the “part – of” relationship goes back to the mereology of S. Leśniewski, subsequently taken up by Leonard & Goodman (1940), and Clarke (1981). In this paper we investigate relation algebras obtained from different notions of “part–of”, respectively, “connectedness” in various domains. We obtain minimal models for the relational part of mereology in a general setting, and w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003